منابع مشابه
Equivariant Cohomology and Analytic Descriptions of Ring Isomorphisms
In this paper we consider a class of connected closed G-manifolds with a non-empty finite fixed point set, each M of which is totally non-homologous to zero in MG (or G-equivariantly formal), where G = Z2. With the help of the equivariant index, we give an explicit description of the equivariant cohomology of such a G-manifold in terms of algebra, so that we can obtain analytic descriptions of ...
متن کاملEnhancing Patching Performance Through Double Patching
Patching is an efficient bandwidth-sharing technique for video-on-demand systems. Its performance, however, has limitation: as the time distance to the last regular multicast enlarges, the patching cost for new requests increases and eventually, a new regular multicast must be scheduled to balance the cost. In this paper, we address this problem by proposing a new technique called Double Patchi...
متن کاملD-log and Formal Flow for Analytic Isomorphisms of N-space
Given a formal map F = (F1 . . . , Fn) of the form z + higher order terms, we give tree expansion formulas and associated algorithms for the D-Log of F and the formal flow Ft. The coefficients which appear in these formulas can be viewed as certain generalizations of the Bernoulli numbers and the Bernoulli polynomials. Moreover the coefficient polynomials in the formal flow formula coincide wit...
متن کاملPlanning and Patching Proof
We describe proof planning: a technique for both describing the hierarchical structure of proofs and then using this structure to guide proof attempts. When such a proof attempt fails, these failures can be analyzed and a patch formulated and applied. We also describe rippling: a powerful proof method used in proof planning. We pose and answer a number of common questions about proof planning a...
متن کاملC∗-Isomorphisms, Jordan Isomorphisms, and Numerical Range Preserving Maps
Let V = B(H) or S(H), where B(H) is the algebra of bounded linear operator acting on the Hilbert space H, and S(H) is the set of self-adjoint operators in B(H). Denote the numerical range of A ∈ B(H) by W (A) = {(Ax, x) : x ∈ H, (x, x) = 1}. It is shown that a surjective map φ : V→ V satisfies W (AB +BA) =W (φ(A)φ(B) + φ(B)φ(A)) for all A,B ∈ V if and only if there is a unitary operator U ∈ B(H...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1992
ISSN: 0002-9939
DOI: 10.2307/2159382